Size: a a a

2020 April 26

B

Brenoritvrezorkre in Lisp Forever
Ведь я буду делать много таких библиотек разных
источник

B

Brenoritvrezorkre in Lisp Forever
Давайте я использую третьим языком тот, где можно легко менять синтаксис, чтобы создать трубопровод между библиотеками и прологом
источник

B

Brenoritvrezorkre in Lisp Forever
Гибкий трубопровод такой
источник

B

Brenoritvrezorkre in Lisp Forever
И если понадобится, можно в этом языке смутировать синтаксис ещё под что-либо ещё
источник

B

Brenoritvrezorkre in Lisp Forever
Такой вот программный клей
источник

B

Brenoritvrezorkre in Lisp Forever
Альтернативно можно сразу использовать ACL2, который и лисп, и солвер
источник

B

Brenoritvrezorkre in Lisp Forever
Но это нужно смотреть, что будет удобнее и быстрее.
источник

VL

Valeriy L in Lisp Forever
Brenoritvrezorkre
Но это нужно смотреть, что будет удобнее и быстрее.
Я бы наверное взял борщ для такого. Сомневаюсь что есть готовые либы для этого)
источник

VL

Valeriy L in Lisp Forever
По скорости  sbcl улетает в космос
источник

VL

Valeriy L in Lisp Forever
Самый быстрый из динамичных языков
источник

VL

Valeriy L in Lisp Forever
И макросы там какие хочешь
источник

B

Brenoritvrezorkre in Lisp Forever
Я сам всё делать буду
источник

m

mel kaye in Lisp Forever
Valeriy L
По скорости  sbcl улетает в космос
быстрее луны?
источник

B

Brenoritvrezorkre in Lisp Forever
Просто на разных языках всё нужно
источник

VL

Valeriy L in Lisp Forever
Brenoritvrezorkre
Просто на разных языках всё нужно
Это да(
источник

B

Brenoritvrezorkre in Lisp Forever
Coq удобен для описания формальных исчислений и для создания доказательств. Тут чем строже, тем удобнее.
источник

B

Brenoritvrezorkre in Lisp Forever
Но он не даёт возможности делать пруфы в реальном времени
источник

B

Brenoritvrezorkre in Lisp Forever
Зато солверные языки умеют и на этом построены
источник

B

Brenoritvrezorkre in Lisp Forever
В свою очередь, пролог неудобен для описания собственных исчислений ну совсем полностью
источник

B

Brenoritvrezorkre in Lisp Forever
Даже лямбда-пролог, который шире
источник