Sign in

Using Prolog for Building Frog, a Hybrid Knowledge Representation System.

Luca ConsoleGianfranco Rossi
Published in: New Gener. Comput. (1989)
Keyphrases
  • programming language
  • case study
  • multiscale
  • natural language
  • wireless sensor networks
  • knowledge representation
  • theorem proving
  • logic programming language