User loginNavigation 
Controversy over the definition of "Logic Program"There is an ongoing controversy with Kowalski about the definition of "Logic Program": * A logic program is one in which each computation step can be logically inferred. * A logic program is written in logical clausal form and procedurally interpreted using forward and backward chaining (which was first done in the Planner programming language). See the following references: More Wikipedia censorship by anonymous Wikipedia administrator CBM By Hewitt at 20150415 09:38  LtU Forum  previous forum topic  next forum topic  other blogs  4683 reads

Browse archivesActive forum topics 
Recent comments
2 hours 11 min ago
2 hours 14 min ago
2 hours 55 min ago
3 hours 14 min ago
11 hours 32 min ago
13 hours 36 min ago
14 hours 54 min ago
15 hours 40 min ago
16 hours 3 min ago
16 hours 13 min ago