Knowledge Base (Prolog)
A ProLog program induces a knowledge base which is a set of facts induced by all the clauses from the program. Can get really big (even infinitely big), we thus only need to compute the base depending on the query.
A ProLog program induces a knowledge base which is a set of facts induced by all the clauses from the program. Can get really big (even infinitely big), we thus only need to compute the base depending on the query.