Category:論理プログラミング言語

• 

  Prolog

  Prolog
  
• 

  並行制約プログラミング言語

  ▲1 trends

  
• 

  並行論理プログラミング言語

  
• 

  PARLOG

  Parlog
  
• 

  Strand

  Strand (programming language)
  
• 

  制約論理プログラミング言語

  
• 

  Constraint Handling Rules

  Constraint Handling Rules
  
• 

  Oz (プログラミング言語)

  Oz (programming language)
  
• 

  Program Composition Notation

  Program Composition Notation
  
• 

  Planner

  Planner (programming language)
  
• 

  KL1

  KL1