File: NOTES

package info (click to toggle)
yap 5.1.1-3
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 16,124 kB
  • ctags: 14,650
  • sloc: ansic: 122,796; perl: 22,545; sh: 3,768; java: 1,277; makefile: 1,191; xml: 739; tcl: 624; lisp: 142; awk: 9
file content (23 lines) | stat: -rw-r--r-- 668 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
=================================================================
Logtalk - Object oriented extension to Prolog
Release 2.27.1

Copyright (c) 1998-2006 Paulo Moura.  All Rights Reserved.
=================================================================


To load this example and for sample queries, please see the SCRIPT file.

This example contains simple meta-interpreters for pure Prolog encapsulated 
in Logtalk objects:

	solver
		simple meta-interpreter for pure Prolog

	proof_tree
		simple meta-interpreter for pure Prolog returning the proof 
		tree for successful queries

	tracer
		simple meta-interpreter for pure Prolog that traces proof 
		construction