|
Revision 4662, 1.3 KB
(checked in by pmoura, 5 days ago)
|
|
Updated copyright notice.
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | ================================================================ |
|---|
| 2 | Logtalk - Open source object-oriented logic programming language |
|---|
| 3 | Release 2.35.0 |
|---|
| 4 | |
|---|
| 5 | Copyright (c) 1998-2009 Paulo Moura. All Rights Reserved. |
|---|
| 6 | Logtalk is free software. You can redistribute it and/or modify |
|---|
| 7 | it under the terms of the "Artistic License 2.0" as published by |
|---|
| 8 | The Perl Foundation. Consult the "LICENSE.txt" file for details. |
|---|
| 9 | ================================================================ |
|---|
| 10 | |
|---|
| 11 | |
|---|
| 12 | To load this example and for sample queries, please see the SCRIPT.txt file. |
|---|
| 13 | |
|---|
| 14 | This example contains simple meta-interpreters for pure Prolog encapsulated |
|---|
| 15 | in Logtalk categories: |
|---|
| 16 | |
|---|
| 17 | solver |
|---|
| 18 | simple meta-interpreter for pure Prolog |
|---|
| 19 | |
|---|
| 20 | proof_tree |
|---|
| 21 | simple meta-interpreter for pure Prolog returning the proof |
|---|
| 22 | tree for successful queries |
|---|
| 23 | |
|---|
| 24 | tracer |
|---|
| 25 | simple meta-interpreter for pure Prolog that traces proof |
|---|
| 26 | construction |
|---|
| 27 | |
|---|
| 28 | To use a meta-interpreter with an object, simply import the corresponding |
|---|
| 29 | category. |
|---|
| 30 | |
|---|
| 31 | Defining meta-interpreters as categories allows the use of the built-in |
|---|
| 32 | predicate clause/2 to access the clauses of object predicates without |
|---|
| 33 | forcing these predicates to be declared public or protected. Within a |
|---|
| 34 | category, calls to the built-in predicate clause/2 retrieve clauses in |
|---|
| 35 | "this", i.e. in the database of the object importing the category. |
|---|
