Similar to Guarded_Horn_Clauses

• 

  Guarded Horn Clauses

  
• 

  Chapel

  Chapel (programming language)
  
• 

  Concurrent Prolog

  
• 

  Prolog

  Prolog
  
• 

  C Sharp

  C Sharp (programming language)
  
• 

  Co-array Fortran

  Coarray Fortran
  
• 

  Constraint Handling Rules

  Constraint Handling Rules
  
• 

  Erlang

  Erlang (programming language)
  
• 

  Fortress

  Fortress (programming language)
  
• 

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

  Go (programming language)
  
• 

  High Performance Fortran

  High Performance Fortran
  
• 

  KL1

  KL1
  
• 

  Mesa

  Mesa (programming language)
  
• 

  Occam

  Occam (programming language)
  
• 

  PARLOG

  Parlog
  
• 

  Program Composition Notation

  Program Composition Notation
  
• 

  Strand

  Strand (programming language)
  
• 

  Unified Parallel C

  Unified Parallel C
  
• 

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

  X10 (programming language)
  
• 

  XcalableMP

  
• 

  Ada

  Ada (programming language)
  
• 

  ALGOL

  ALGOL
  
• 

  BASIC

  BASIC
  
• 

  BLISS

  BLISS
  
• 

  CASL

  
• 

  CLIPS

  CLIPS
  
• 

  CLU

  CLU (programming language)
  
• 

  Common Lisp

  Common Lisp