Evaluator

Description

Evaluator which traverses the structure of the evaluated term, where variables are represented by Prolog atoms like a, b or c, so they do not correspond to Prolog variables.

Source: Guide to Prolog Programming (on-line tutorial)

Download

Program source code: evaluator.pl

Listing



Comments

pl/prolog/pllib/evaluator.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0