Temporal Prolog(ID:5069/tem006)

• Began: 0
  • Languages for 0
  • languages
• Type:Horn clause
  • Horn clause
• Sammet:SLP
  • SLP
  • SLP/0