|
osdir.com mailing list archive |
|
Subject: Re: Metadata in Prolog terms. - msg#00107List: ai.prolog.swi> Does anyone know of a Prolog implementation that allows the addition of > metadata to Prolog terms? You should perhaps have a look at CIAO Prolog and its assertion language. http://clip.dia.fi.upm.es/Software/Ciao/ Cheers, Bart Demoen Thread at a glance:
Previous Message by Date: click to view message previewMetadata in Prolog terms.Does anyone know of a Prolog implementation that allows the addition of metadata to Prolog terms? It could be (in my Prolog implementation it would be) very useful. For example metadata could be use to add checks for the modus of predicate arguments, e.g.: foo(A @+) :- do_something_with(A). The metadata + could be used by the compiler to add checks if A is truly instantiated. The query foo(B). Would fail or throw an exception (if B is not bound). Next Message by Date: click to view message previewHelp about derivation trees.Hi all, I am kind of new to Prolog. I want to print out the trace of a successful query. I mean given a prolog predicate what turns out to be true, I want to see why its true. C. A :- B. B :- C. If I query for A, it will turn out to be true. I want to say that A is true because of B, which is true because of C. How do I get this trace? thanks for your time, Sudhakar. Sudhakar Govindavajhala Department of Computer Science Graduate Student, Princeton University Ph : (c) +1 609 273 8407 (o) +1 609 258 1798 http://www.cs.princeton.edu/~sudhakar Previous Message by Thread: click to view message previewMetadata in Prolog terms.Does anyone know of a Prolog implementation that allows the addition of metadata to Prolog terms? It could be (in my Prolog implementation it would be) very useful. For example metadata could be use to add checks for the modus of predicate arguments, e.g.: foo(A @+) :- do_something_with(A). The metadata + could be used by the compiler to add checks if A is truly instantiated. The query foo(B). Would fail or throw an exception (if B is not bound). Next Message by Thread: click to view message previewHelp about derivation trees.Hi all, I am kind of new to Prolog. I want to print out the trace of a successful query. I mean given a prolog predicate what turns out to be true, I want to see why its true. C. A :- B. B :- C. If I query for A, it will turn out to be true. I want to say that A is true because of B, which is true because of C. How do I get this trace? thanks for your time, Sudhakar. Sudhakar Govindavajhala Department of Computer Science Graduate Student, Princeton University Ph : (c) +1 609 273 8407 (o) +1 609 258 1798 http://www.cs.princeton.edu/~sudhakar Loading Comments...
|
|
