C
Size: a a a
2020 October 27
CC
@red_dictator, походу начну учить пролог..
V🇺
зачем?
PO
@red_dictator, походу начну учить пролог..
Тебя пытают?
CC
Буду раздупляться в automatic theorem proving
CC
Во всякие coq/isabelle пока лезть не буду
CC
Тебя пытают?
*интенсивно моргает*
AZ
Буду раздупляться в automatic theorem proving
юзлесс, но весело, да
TS
Буду раздупляться в automatic theorem proving
о, хорошая тема. (Тоже хотел бы) Но чем тебе Пролог поможет с практической точки зрения?
AZ
о, хорошая тема. (Тоже хотел бы) Но чем тебе Пролог поможет с практической точки зрения?
а чем с практической точки зрения вообще помогает ATP?
PO
Буду раздупляться в automatic theorem proving
Люди говорят, чтто лучше mercury или вообще ту херню от мелкомягких взять вместо пролога
TS
а чем с практической точки зрения вообще помогает ATP?
не знаю не пробовал :)
PO
Z3, во
AZ
Z3, во
но это не язык...
PO
но это не язык...
Ну это либа
CC
о, хорошая тема. (Тоже хотел бы) Но чем тебе Пролог поможет с практической точки зрения?
У меня есть привычка изучать что-то в хронологическом порядке. Если я сразу возьму какую-то Coq/Isabelle, то я не пойму мотивации - а зачем было отказываться от того же Prolog? Поэтому стараюсь пройти основные этапы развития в какой-то области
PO
У меня есть привычка изучать что-то в хронологическом порядке. Если я сразу возьму какую-то Coq/Isabelle, то я не пойму мотивации - а зачем было отказываться от того же Prolog? Поэтому стараюсь пройти основные этапы развития в какой-то области
Если кратко - пролог дерьмо
CC
Чтобы настрадавшись на прологе, пойти страдать на чем-то более просвещенном
PO
Оно не про automatic proving, а про язык на automatic proving