B
Ведь я буду делать много таких библиотек разных
Size: a a a
2020 April 26
B
Давайте я использую третьим языком тот, где можно легко менять синтаксис, чтобы создать трубопровод между библиотеками и прологом
B
Гибкий трубопровод такой
B
И если понадобится, можно в этом языке смутировать синтаксис ещё под что-либо ещё
B
Такой вот программный клей
B
Альтернативно можно сразу использовать ACL2, который и лисп, и солвер
B
Но это нужно смотреть, что будет удобнее и быстрее.
VL
Brenoritvrezorkre
Но это нужно смотреть, что будет удобнее и быстрее.
Я бы наверное взял борщ для такого. Сомневаюсь что есть готовые либы для этого)
VL
По скорости sbcl улетает в космос
VL
Самый быстрый из динамичных языков
VL
И макросы там какие хочешь
B
Я сам всё делать буду
m
По скорости sbcl улетает в космос
быстрее луны?
B
Просто на разных языках всё нужно
VL
Brenoritvrezorkre
Просто на разных языках всё нужно
Это да(
B
Coq удобен для описания формальных исчислений и для создания доказательств. Тут чем строже, тем удобнее.
B
Но он не даёт возможности делать пруфы в реальном времени
B
Зато солверные языки умеют и на этом построены
B
В свою очередь, пролог неудобен для описания собственных исчислений ну совсем полностью
B
Даже лямбда-пролог, который шире