(
на самом деле нет
Size: a a a
2021 April 11
(
логика высшего порядка улетает
IP
Как так?
IP
Что значит улетает?
(
нельзя форалл квантификаторы делать
IP
Машину Тьюринга написали. https://www.swi-prolog.org/pack/file_details/turing/prolog/turing.pl?show=src
IP
А, значит, с неимоверными усилиями можно сделать любую виртуальную машину на прологе
ch
пролог вообще на x86 испольуют разве?
IP
Не знаю
Kd
окей, вот те датадиг:
1. https://rosstat.gov.ru/storage/mediabank/TwbjciZH/edn12-2020.html (росстат)
2. куда смотреть:
качаешь например декабрь 2020 и декабрь 2018
листаешь на лист 2 и там например есть колонка сравнения - смертность с прошлым годом.
в нормальном мире без ковида этот процент более-менее колеблется около 100% (типа как и в прошлом году)
в 2020-м же году - там до 200%
1. https://rosstat.gov.ru/storage/mediabank/TwbjciZH/edn12-2020.html (росстат)
2. куда смотреть:
качаешь например декабрь 2020 и декабрь 2018
листаешь на лист 2 и там например есть колонка сравнения - смертность с прошлым годом.
в нормальном мире без ковида этот процент более-менее колеблется около 100% (типа как и в прошлом году)
в 2020-м же году - там до 200%
Kd
(
а у штатов?
Kd
Kd
хз че там у штатов
(
ладно, пролог вообще странный язык
(
Я хз, как сформулировать какие ограничения на него накладывает основанность на предикативной логике
ch
так он же для ПЛИС, а там настолько архитектура отличается от x86 что его программировать ничем кроме чего то кроме Prolog и не получиться
IP
Я не понимаю, о чем ты
d
Ты пролог с верилог путаешь 😂