(Q3594646)

English

λProlog

logic programming language featuring polymorphic typing, modular programming

  • lambda Prolog

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit