Logic Programming door D.S. Warren