WordNet: logic programing, logic programming

Sanatista
creating a program that enables the computer to reason logically



logic programing


logic programming