@indigoparadox but there is finished writing about prolog basically as one of the antecedents to Sandewall's work. Sandewall's basic goal was to use his experience to reconcile all the very-disparate strains of knowledge-based intelligent agent research.