Jekejeke Prolog Runtime
3.75
教育 | 1.1MB
説明
Jekejekeランタイムは、非常にユーザーフレンドリーで、非常に堅牢で、100％Javaで記述された非常に適合性の高いProlog実装です。ランタイムライブラリは、シンプルなコンソールインターフェイスを提供し、デバッガーは提供しません。言語の実装は、主にISOPrologコア標準に従います。この実装は、アプリケーションプログラミングインターフェイスも備えています。
Show More
Less
新機能 Jekejeke Prolog Runtime
Release 1.5.0 (March 21., 2021):
What's New (for more details see website):
- Occurs check fresh variable heuristic.
- var/1 indexing only for static predicates.
- New predicates sys_rule/3 and sys_rule_ref/4.