Dogelog Novacore

Dogelog Player is based on a novel core, which is derived from ISO core standard but has a much smaller set of predicates and data structures. The set of predicates here only contains those predicates that are needed to allow a Prolog system with a Prolog text loader. Via this Prolog text loader further predicates can be loaded via native and non-native libraries.

File "store": This file models data structures such as the Prolog knowledge base. More..

File "machine": This file contains algorithms such as the Prolog engine. More..

File "special": The file main goal is to provide natively implemented ISO core standard built-ins needed for the Dogelog player. More..

File "eval": Prolog is not known for number crunching, nevertheless many Prolog systems provide a number type and corresponding operations and predicates. More..

File "runtime": The file mainly defines predicates for reading and writing of Prolog terms. More..

Kommentare