comp.lang.prolog

• Date Index

• SWI-Prolog get_single_char, Andreas Kochenburger
  • Re: SWI-Prolog get_single_char, Jan Wielemaker
• standard function to change element at list position ?, none
  • Re: standard function to change element at list position ?, Jan Wielemaker
    • Re: standard function to change element at list position ?, none
      • Re: standard function to change element at list position ?, Bill Spight
      • Re: standard function to change element at list position ?, Jan Wielemaker
• 'The First 10 Prolog Programming Contests' now available for downloading, Remko Troncon
• Prolog type overloading, George
  • Re: Prolog type overloading, Jussi Piitulainen
    • Re: Prolog type overloading, Lekeas GK
      • Re: Prolog type overloading, Jussi Piitulainen
  • Re: Prolog type overloading, Bill Spight
  • Re: Prolog type overloading, Mauro DiNuzzo
    • Re: Prolog type overloading, Mauro DiNuzzo
• Problem with code to find element in list - instantiation, none
  • Re: Problem with code to find element in list - instantiation, Jussi Piitulainen
  • Re: Problem with code to find element in list - instantiation, Peter Van Weert
  • Re: Problem with code to find element in list - instantiation, Bill Spight
• Prolog authentication???, Mauro DiNuzzo
  • Re: Prolog authentication???, Mauro DiNuzzo
    • Re: Prolog authentication???, Jan Wielemaker
      • Re: Prolog authentication???, Mauro DiNuzzo
• YAPP, Advait
  • Re: YAPP, A . L .
    • Re: YAPP, Advait
      • Re: YAPP, A . L .
      • Re: YAPP, Advait
• Using C to create a graphical interface for a prolog program, none
• starting Prolog, MadhavC
  • Re: starting Prolog, Cesar Rabak
  • Re: starting Prolog, A . L .
• IMPORTANT SWI BUG:What Can't Be Done Twice? See? Tell? Or Others?, newser . bbs
  • Re: IMPORTANT SWI BUG:What Can't Be Done Twice? See? Tell? Or Others?, Jan Wielemaker
    • Re: IMPORTANT SWI BUG:What Can't Be Done Twice? See? Tell? Or Others?, Richard Hagen
  • Re: IMPORTANT SWI BUG:What Can't Be Done Twice? See? Tell? Or Others?, AL .
• Prolog call modes, Mauro DiNuzzo
  • Re: Prolog call modes, Paulo Moura
• language bias, Mika
• Wanted: 16-bit Prolog source?, David Given
• Commercial Prolog Position Available, Barry Evans
• Prolog OOP (prologonlinereference.org), Mauro DiNuzzo
  • Re: Prolog OOP (prologonlinereference.org), Paulo Moura
    • Re: Prolog OOP (prologonlinereference.org), Mauro DiNuzzo
• List decomposition., ddtl
  • Re: List decomposition., student
  • Re: List decomposition., Pierpaolo BERNARDI
    • Re: List decomposition., Pierpaolo BERNARDI
      • Re: List decomposition., Bill Spight
• (Swi) current_predicate/1 problem, Mauro DiNuzzo
  • Re: (Swi) current_predicate/1 problem, Mauro DiNuzzo
    • Re: (Swi) current_predicate/1 problem, Mauro DiNuzzo
      • Re: (Swi) current_predicate/1 problem, Mauro DiNuzzo
• [maybe OT] Sudoku: solving method or simply backtrack?, Libra
  • Re: [maybe OT] Sudoku: solving method or simply backtrack?, Pierpaolo BERNARDI
    • Re: [maybe OT] Sudoku: solving method or simply backtrack?, kym
      • Re: [maybe OT] Sudoku: solving method or simply backtrack?, Boris Borcic
• Performing key validation inside a "Web of trust", patrick.herber@xxxxxxxxx
  • Re: Performing key validation inside a "Web of trust", Pierpaolo BERNARDI
    • Re: Performing key validation inside a "Web of trust", patrick.herber@xxxxxxxxx
• Re: ! and ->, Bart Demoen
  • Re: ! and ->, ZeD
    • Re: ! and ->, Bart Demoen
      • Re: ! and ->, ZeD
      • Re: ! and ->, Bart Demoen
      • Re: ! and ->, Yan Georget
      • Re: ! and ->, Bart Demoen
      • Re: ! and ->, Yan Georget
      • Re: ! and ->, Duncan Patton
• Re: read doesn't read back from writeq, Bart Demoen
• ECLiPSe/XPress: Why I don't get the right solution?, Thomas Wiktowski
  • Re: ECLiPSe/XPress: Why I don't get the right solution?, AL .
    • Re: ECLiPSe/XPress: Why I don't get the right solution?, Joachim Schimpf
  • Re: ECLiPSe/XPress: Why I don't get the right solution?, Joachim Schimpf
• :- at the beginning for assertional coding, newser . bbs
  • Re: :- at the beginning for assertional coding, Cesar Rabak
• Prolog for .NET ?, Ludwig Wittgenstein
  • Re: Prolog for .NET ?, Andreas Kochenburger
    • Re: Prolog for .NET ?, student
  • Re: Prolog for .NET ?, Mats
  • Re: Prolog for .NET ?, clive
    • Re: Prolog for .NET ?, Ludwig Wittgenstein
  • Re: Prolog for .NET ?, mctodd333
  • Re: Prolog for .NET ?, A . L .
• Manipulating Strings in Sicstus Prolog, nima.kaviani@xxxxxxxxx
  • Re: Manipulating Strings in Sicstus Prolog, Jan Wielemaker
    • Re: Manipulating Strings in Sicstus Prolog, Andreas Kochenburger
      • Re: Manipulating Strings in Sicstus Prolog, Joachim Schimpf
• Visual Trace, George
  • Re: Visual Trace, Marco Gavanelli
  • Re: Visual Trace, Jan Wielemaker
• :- at the beginning of the lines in the consulted file., newser . bbs
  • Re: :- at the beginning of the lines in the consulted file., Cesar Rabak
    • Re: :- at the beginning of the lines in the consulted file., newser . bbs
    • Re: :- at the beginning of the lines in the consulted file., Bart Demoen
• I just don't get it (list), manny
  • Re: I just don't get it (list), Matthew Huntbach
    • Re: I just don't get it (list), manny
      • Re: I just don't get it (list), Matthew Huntbach
      • Re: I just don't get it (list), newser . bbs
      • Re: I just don't get it (list), Matthew Huntbach
      • Re: I just don't get it (list), Duncan Patton
      • Re: I just don't get it (list), manny
      • Re: I just don't get it (list), student
      • Re: I just don't get it (list), student
      • Re: I just don't get it (list), Matthew Huntbach
      • Re: I just don't get it (list), wooks
  • Re: I just don't get it (list), Bill Spight
• Re: Prolog + visual studio.net(2003), Robe
• Re: Please help me... term_expansion/2 and goal_expansion/2 under SWI, newser . bbs
  • Re: Please help me... term_expansion/2 and goal_expansion/2 under SWI, Joachim Schimpf
    • Re: Please help me... term_expansion/2 and goal_expansion/2 under SWI, newser . bbs
    • Re: Please help me... term_expansion/2 and goal_expansion/2 under SWI, newser . bbs
• SWI out of order, newser . bbs
  • Re: SWI out of order, Jan Wielemaker
• comp.lang.prolog Frequently Asked Questions, Remko Troncon
  • <Possible follow-ups>
  • comp.lang.prolog Frequently Asked Questions, Remko Troncon
• Why didn't you speak , Bart Demoen ?, newser . bbs
  • Re: Why didn't you speak , Bart Demoen ?, Remko Troncon
    • Re: Why didn't you speak , Bart Demoen ?, student
  • Re: Why didn't you speak , Bart Demoen ?, Bart Demoen
    • Re: Why didn't you speak , Bart Demoen ?, newser . bbs
• Matrices implementations, Mauro DiNuzzo
  • Re: Matrices implementations, Mauro DiNuzzo
    • Re: Matrices implementations, Mauro DiNuzzo
  • Re: Matrices implementations, A . . L .
    • Re: Matrices implementations, Mauro DiNuzzo
      • Re: Matrices implementations, A . . L .
      • Re: Matrices implementations, Mauro DiNuzzo
      • Re: Matrices implementations -- OT implementation in C of extract_substring, Cesar Rabak
      • Re: Matrices implementations, Marco Gavanelli
      • Re: Matrices implementations, Libra
      • Re: Matrices implementations, Marco Gavanelli
      • Re: Matrices implementations, Mauro DiNuzzo
      • Re: Matrices implementations, Marco Gavanelli
  • Re: Matrices implementations, Bill Spight
• Re: assertz & asserta in ECLiPSe ?, newser . bbs
• recursive list question, sbrown
  • Re: recursive list question, Marco Gavanelli
    • Re: recursive list question, student
    • Re: recursive list question, student
  • Re: recursive list question, newser . bbs
  • Re: recursive list question, newser . bbs
    • Re: recursive list question, sbrown
      • Re: recursive list question, newser . bbs
      • Re: recursive list question, sbrown
      • Re: recursive list question, Nick Wedd
      • Re: recursive list question, Jussi Piitulainen
      • Re: recursive list question, newser . bbs
      • Re: recursive list question, newser . bbs
      • Re: recursive list question, Jan Wielemaker
      • Re: recursive list question, newser . bbs
      • Re: recursive list question, Remko Troncon
      • Re: recursive list question, newser . bbs
      • Not/1 Not `Not' in Logic ??, newser . bbs
      • Re: Not/1 Not `Not' in Logic ??, Cesar Rabak
      • Re: Not/1 Not `Not' in Logic ??, newser . bbs
      • Re: Not/1 Not `Not' in Logic ??, Cesar Rabak
      • Re: Not/1 Not `Not' in Logic ??, newser . bbs
      • Re: Not/1 Not `Not' in Logic ??, Cesar Rabak
      • Re: Not/1 Not `Not' in Logic ??, newser . bbs
      • Re: Not/1 Not `Not' in Logic ??, Cesar Rabak
      • Re: Not/1 Not `Not' in Logic ??, newser . bbs
      • Re: recursive list question, student
      • Re: recursive list question, newser . bbs
• Re: Swi-prolog bug, Jan Wielemaker
• Re: Unget in SWI-prolog ?, Jan Wielemaker
• Re: call_with_time_limit/2 problem under SWI, Jan Wielemaker
  • Re: call_with_time_limit/2 problem under SWI, Mauro DiNuzzo

• Security
• UNIX
• Linux
• Coding
• Usenet

• Archive
• About
• Privacy
• Search
• Imprint