Re: STEP Part 21 processing with Prolog

In article <1138185847.432249.98310@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
"Alexander Serebrenik <A.Serebrenik@xxxxxx>" <A.Serebrenik@xxxxxx>
wrote:

> I've looked at the example and it seems that the resulting clauses are
> facts. Is it always the case?

Yes, the result of translating a STEP Part 21 file is a collection of
ground facts. I think of them as a static database. Other downloadable
files on the site (www.kshell.com/prolog) demonstrate predicates which
combined with this database produce an XML file.

Vince Marchetti
.

Relevant Pages

  • Re: A different way to optimize this?
    ... } database is fine for predicates with a few clauses, ... Several 100 facts should be fairly good. ...
    (comp.lang.prolog)
  • Re: ASSERT in SWI Prolog
    ... process the list to replace fact2 by fact6, retractall the facts, and then assert the facts in the list. ... Since the clauses of a functor *are* in a well-defined ...
    (comp.lang.prolog)
  • Re: how to make a list
    ... I want to make list of given facts in prolog. ... facts are given by clauses below: ... Since "X" will match all values in the database you end up with ...
    (comp.lang.prolog)
  • Re: STEP Part 21 processing with Prolog
    ... I've looked at the example and it seems that the resulting clauses are ... facts. ... Alexander Serebrenik ... Prev by Date: ...
    (comp.lang.prolog)