acharal/hopes

Higher Order Prolog with Extensional Semantics

语言：Haskell · GitHub 星标：55 · Fork：5

话题：higher-order-logic · hopes · interpreter · logic-programming · prolog

在 GitHub 上查看原仓库