| Re: The Creation of a Being. (software - predicate calculus) -
12-31-2007, 05:14 PM
Ok it is very quiet.
Is this because there is no interest in this thread.
PC, is not so difficult.
simple example of inference in a declaritive style of programming. If you could follow this you could follow any of it.
can a sparrow fly?
can a penguin fly?
is a penguin a bird?
query format for above questions:
can-fly(sparrow).
can-fly(penguin).
is-a(bird,penguin).
----
rules:
can-fly(X) if is-a(bird,X),not is-a(bird,flightless,X).
is-a(bird,X) if is-a(bird,flightless,X).
data:
is-a(bird,sparrow).
is-a(bird,flightless,penguin).
----------------
This same kind of logic can be applied to anything.
John |