AD
и всех этих полицейских родили женщины
дискриминация!
Size: a a a
2020 July 24
С
@marf1n Are you still here? I have one question.
AF
Почему заглох Prolog?
P
Почему заглох Prolog?
почему заглох? лол
AF
почему заглох? лол
Да, заглох. Я вот смотрю на типизируемый и компилируемый Mercury Prolog - он прекрасен! Но ведь он практически нигде не используется.
А ведь существует класс задач, которые удобно решать именно с помощью Prolog, а не на обычных алгоритмических языках, к коим я отношу и C++, и Java,и C#, и даже Haskell
А ведь существует класс задач, которые удобно решать именно с помощью Prolog, а не на обычных алгоритмических языках, к коим я отношу и C++, и Java,и C#, и даже Haskell
P
Да, заглох. Я вот смотрю на типизируемый и компилируемый Mercury Prolog - он прекрасен! Но ведь он практически нигде не используется.
А ведь существует класс задач, которые удобно решать именно с помощью Prolog, а не на обычных алгоритмических языках, к коим я отношу и C++, и Java,и C#, и даже Haskell
А ведь существует класс задач, которые удобно решать именно с помощью Prolog, а не на обычных алгоритмических языках, к коим я отношу и C++, и Java,и C#, и даже Haskell
есть просто современные языки, которые используют вместо него
AF
есть просто современные языки, которые используют вместо него
Какие?
S
Да, заглох. Я вот смотрю на типизируемый и компилируемый Mercury Prolog - он прекрасен! Но ведь он практически нигде не используется.
А ведь существует класс задач, которые удобно решать именно с помощью Prolog, а не на обычных алгоритмических языках, к коим я отношу и C++, и Java,и C#, и даже Haskell
А ведь существует класс задач, которые удобно решать именно с помощью Prolog, а не на обычных алгоритмических языках, к коим я отношу и C++, и Java,и C#, и даже Haskell
Ты ебанулся
S
Какой блядь пролог
AF
Ты ебанулся
S
Пиздуй на жсе сайты писатт
P
Какие?
если надо простые модельки погонять, то есть Alloy, если сложнее, то TLA+, Coq и т.д.
AF
если надо простые модельки погонять, то есть Alloy, если сложнее, то TLA+, Coq и т.д.
Inference.Net не смотрел? Ты разбираешься в этом?
P
Inference.Net не смотрел? Ты разбираешься в этом?
не смотрел, зачем мне смотреть на .нет?
AF
не смотрел, зачем мне смотреть на .нет?
Ну, мало ли. В женское ты же любишь переодеваться 😈))
P
Ну, мало ли. В женское ты же любишь переодеваться 😈))
у меня нет женской одежды, я ж не .нетчик