Topic
programming language that uses first order logic
Not who you're looking for? Others named Prolog: village in Bosnia and Herzegovina · village