« first day  last day (14 days later) » 

10:09 AM
First of all thank you for your opinions!
@hardmath said about builtin var/1 and I thought about all the extra-logical features of Prolog, such as cut. Well, supposing we don't want them to be included in the subset, as they are already not compatible with logic programming we can ignore them.
@lambda.xy.x Why lists are not allowed? We are talking about a function symbol, why we can' t use other symbols such as brackets ?
 
10:35 AM
Nancy, you are the expert about what is to be allowed. If I understood correctly, lambda.xy.x has a nice idea that if we are allowed only one functor symbol, then that can perhaps be used as a predicate symbol as well, so we at least have a predicate to write rules for. Lists are a form of compound terms, so implicitly there is a functor associated with list construction (the syntactic element is | in Prolog, so that [H|T] creates the list with term H as head and list T as tail).
The problem is that a functor is a syntactic element to construct "complicated" terms from simpler ones. We would need to start someplace. If the only "ground" terms we are allowed are variables (and it would be hard to disallow variables while still calling it Prolog), then any two terms will unify (see lambda.xy.x's Answer on your Q).
At this point one begins to worry that any first rule we write for our predicate/functor, say f/3, will "swallow" any calls/invocations of it, since however the "head" of the rule is written, it will match (under unification). Trim away enough of the Prolog standard built-in predicates, like fail/0, and you have no way to force backtracking.
Thus calls would tend to immediately succeed (perhaps by doing a round of unification on calling arguments) or (if the rule is written recursively) to get lost in endless recursion.
On the other hand perhaps you want to allow some additional base terms, like the empty list [ ] or predicates like fail/0 (which could also be used as a term). These options would certainly open up possibilities to attempt Turing completeness.
@Nancy: See thoughts above.
 

« first day  last day (14 days later) »