Automatically assigned DDC number: 005131

Manually assigned DDC number: 005115

Number of references: 16

Title: Implementation Issues for Functional Logic Programming

Author:

Author:

Subject: Herbert Kuchen,In E. G. Alf Implementation Issues for Functional Logic Programming

Description: Machine Code 1) WAM-Extensions: ffl K-WAM [BCM89](! K-Leaf, outermost resolution) -- heap contains structures for produced variables (f(e 1 ; : : : ; e n ) = X) ( = closure) -- f(e 1 ; : : : ; e n ) is activated (! force-list) when X is bound to non-variable term -- literals of force-list proved after unification of clause head -- 3 different dereferencing mechanisms -- force meta-predicate ffl A-WAM [Ha91](! ALF, normalizing innermost basic narrowing) ffl -WAM [NJ89] extension for -Prolog, including higher order unification 38 2) Extension of reduction machine by choice points+trail ffl IBAM [KLMR90](! innermost Babel, innermost narrowing) graph based ffl LBAM [MKLR90](! Babel, lazy narrowing) graph based ffl JUMP [CL91] (! innermost/lazy narrowing, needed narrowing for left-to-right uniform rules) extension of (Glasgow Haskell-)STGM [PS89] ffl CBAM [KLMR92] extension of LBAM by disequality constraint solving ffl PBAM [KMH92] extension of IBAM for independent and-...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-11-29

Format: ps

Identifier: http://citeseer.ist.psu.edu/335975.html

Source: http://danae.uni-muenster.de/lehre/kuchen/ILPStutorialKuBW.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/20815.html"   Type="inproceedings"   CiteSeer_Book="Algebraic   and   Logic   Programming   Third   International   Conference   Proceedings"   CiteSeer_Volume=""   Title="Definitional   Trees,">

            <identifier   Org="ISBN:1581137052"   Paper_ID="/20815.html"   Extracted="1581137052"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1595930698"   Paper_ID="/20815.html"   Extracted="1595930698"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540197427"   Paper_ID="/20815.html"   Extracted="3540197427"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354021402X"   Paper_ID="/20815.html"   Extracted="354021402X"   />

            <identifier   Org="ISBN:3540266550"   Paper_ID="/20815.html"   Extracted="3540266550"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540290516"   Paper_ID="/20815.html"   Extracted="3540290516"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540325298"   Paper_ID="/20815.html"   Extracted="3540325298"   DDC="511.313"   Normalized_DDC="511313"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540410899"   Paper_ID="/20815.html"   Extracted="3540410899"   DDC="610/.7/27"   Normalized_DDC="610727"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/20815.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540614648"   Paper_ID="/20815.html"   Extracted="3540614648"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/20815.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/20815.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354066694X"   Paper_ID="/20815.html"   Extracted="354066694X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/20815.html"   Extracted="3540669922"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/20815.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="/20815.html"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/20815.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540874046"   Paper_ID="/20815.html"   Extracted="3540874046"   />

      </rec>

      <rec   ID="/141370.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Implementation   of   narrowing:   The   Prolog-based   approach,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/141370.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540419500"   Paper_ID="/141370.html"   Extracted="3540419500"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/141370.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540634592"   Paper_ID="/141370.html"   Extracted="3540634592"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/141370.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540654623"   Paper_ID="/141370.html"   Extracted="3540654623"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/141370.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="/141370.html"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/421470.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Third   International   Symposium   on   Programming   Language   Implementation   and   Logic   Programming"   CiteSeer_Volume=""   Title="The   Implementation   of   Lazy   Narrowing,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/421470.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0867204508"   Paper_ID="/421470.html"   Extracted="0867204508"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540197354"   Paper_ID="/421470.html"   Extracted="3540197354"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540198067"   Paper_ID="/421470.html"   Extracted="3540198067"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540531629"   Paper_ID="/421470.html"   Extracted="3540531629"   />

            <identifier   Org="ISBN:3540544445"   Paper_ID="/421470.html"   Extracted="3540544445"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/421470.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/421470.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/50842.html"   Type="inproceedings"   CiteSeer_Book="Programming   Language   Implementation   and   Logic   Programming   Proceedings   of   the   4th   International   Symposium   PLILP   92   Leuven   BE"   CiteSeer_Volume=""   Title="On   the   Interaction   of   Lazy   Evaluation   and   Backtracking,">

            <identifier   Org="ISBN:3540558446"   Paper_ID="/50842.html"   Extracted="3540558446"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540578803"   Paper_ID="/50842.html"   Extracted="3540578803"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540602496"   Paper_ID="/50842.html"   Extracted="3540602496"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/50842.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/50842.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/50842.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540666443"   Paper_ID="/50842.html"   Extracted="3540666443"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/60981.html"   Type="inproceedings"   CiteSeer_Book="Extensions   of   Logic   Programming"   CiteSeer_Volume=""   Title="Higher   Order   Babel:   Language   and   Implementation,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/60981.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0817640320"   Paper_ID="/60981.html"   Extracted="0817640320"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540410899"   Paper_ID="/60981.html"   Extracted="3540410899"   DDC="610/.7/27"   Normalized_DDC="610727"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/60981.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354066694X"   Paper_ID="/60981.html"   Extracted="354066694X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/394187.html"   Type="inproceedings"   CiteSeer_Book="European   Symposium   on   Programming"   CiteSeer_Volume=""   Title="Graph-based   Implementation   of   a   Functional   Logic   Langugage,"   />

      <rec   ID="/395314.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   Proceedings   of   the   Joint   International   Conference   and   Symposium   on   Logic   Programming"   CiteSeer_Volume=""   Title="Implementing   a   Lazy   Functional   Logic   Language   with   Disequality   Constraints,">

            <identifier   Org="ISBN:3540419500"   Paper_ID="/395314.html"   Extracted="3540419500"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/395314.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/46786.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Declarative   Programming   in   Escher,">

            <identifier   Org="ISBN:0198538677"   Paper_ID="/46786.html"   Extracted="0198538677"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262620995"   Paper_ID="/46786.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1558606114"   Paper_ID="/46786.html"   Extracted="1558606114"   />

            <identifier   Org="ISBN:3540411372"   Paper_ID="/46786.html"   Extracted="3540411372"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540419500"   Paper_ID="/46786.html"   Extracted="3540419500"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540648496"   Paper_ID="/46786.html"   Extracted="3540648496"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540664904"   Paper_ID="/46786.html"   Extracted="3540664904"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/46786.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/46786.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/67602.html"   Type="inproceedings"   CiteSeer_Book="PLILP"   CiteSeer_Volume=""   Title="A   Demand   Driven   Computation   Strategy   for   Lazy   Narrowing,">

            <identifier   Org="ISBN:026264035X"   Paper_ID="/67602.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1595930698"   Paper_ID="/67602.html"   Extracted="1595930698"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540255966"   Paper_ID="/67602.html"   Extracted="3540255966"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540290516"   Paper_ID="/67602.html"   Extracted="3540290516"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/67602.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540429352"   Paper_ID="/67602.html"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/67602.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/67602.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/67602.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/67602.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/67602.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/67602.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662014"   Paper_ID="/67602.html"   Extracted="3540662014"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/67602.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/67602.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/67602.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354071409X"   Paper_ID="/67602.html"   Extracted="354071409X"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="/67602.html"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540787380"   Paper_ID="/67602.html"   Extracted="3540787380"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/141804.html"   Type="inproceedings"   CiteSeer_Book="TAPSOFT   Vol2"   CiteSeer_Volume=""   Title="From   Reduction   Machines   To   Narrowing   Machines,">

            <identifier   Org="ISBN:3540197354"   Paper_ID="/141804.html"   Extracted="3540197354"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540539816"   Paper_ID="/141804.html"   Extracted="3540539816"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540544445"   Paper_ID="/141804.html"   Extracted="3540544445"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354055033X"   Paper_ID="/141804.html"   Extracted="354055033X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540558446"   Paper_ID="/141804.html"   Extracted="3540558446"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/141804.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/141804.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:9810212275"   Paper_ID="/141804.html"   Extracted="9810212275"   DDC="005.1/2/01512"   Normalized_DDC="0051201512"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/214193.html"   Type="article"   CiteSeer_Book="New   Generation   Computing"   CiteSeer_Volume="11"   Title="Relating   the   Implementation   Techniques   of   Functional   and   Functional   Logic   Languages,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/214193.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1402009976"   Paper_ID="/214193.html"   Extracted="1402009976"   DDC="355.6/213"   Normalized_DDC="3556213"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/214193.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/214193.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/214193.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/213896.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Third   International   Symposium   on   Programming   Language   Implementation   and   Logic   Programming"   CiteSeer_Volume=""   Title="Dynamic   Detection   of   Determinism   in   Functional   Logic   Languages,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/213896.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/213896.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581132654"   Paper_ID="/213896.html"   Extracted="1581132654"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/213896.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540544445"   Paper_ID="/213896.html"   Extracted="3540544445"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/213896.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540602992"   Paper_ID="/213896.html"   Extracted="3540602992"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/213896.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540633987"   Paper_ID="/213896.html"   Extracted="3540633987"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/213896.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="/213896.html"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/584605.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   Abstract   Machine   for   Oz,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/584605.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:079238038X"   Paper_ID="/584605.html"   Extracted="079238038X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818675578"   Paper_ID="/584605.html"   Extracted="0818675578"   DDC="004/.3"   Normalized_DDC="0043"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0824722965"   Paper_ID="/584605.html"   Extracted="0824722965"   />

            <identifier   Org="ISBN:3540221166"   Paper_ID="/584605.html"   Extracted="3540221166"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540601058"   Paper_ID="/584605.html"   Extracted="3540601058"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/584605.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/584605.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/584605.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540630910"   Paper_ID="/584605.html"   Extracted="3540630910"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/584605.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354066677X"   Paper_ID="/584605.html"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/584605.html"   Extracted="3540669922"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540679448"   Paper_ID="/584605.html"   Extracted="3540679448"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/14740.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   The   Third   International   Symposium   on   Programming   Language   Implementation   and   Logic   Programming"   CiteSeer_Volume=""   Title="{A}dding   equations   to   {NU}-{P}rolog,"   />

      <rec   ID="/678243.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Ninth   Annual   IEEE   Symposium   on   Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="Higher-order   Narrowing,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/678243.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/678243.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0817640320"   Paper_ID="/678243.html"   Extracted="0817640320"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/678243.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/678243.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540433384"   Paper_ID="/678243.html"   Extracted="3540433384"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540440399"   Paper_ID="/678243.html"   Extracted="3540440399"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540581561"   Paper_ID="/678243.html"   Extracted="3540581561"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="/678243.html"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/678243.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540614648"   Paper_ID="/678243.html"   Extracted="3540614648"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/678243.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540626883"   Paper_ID="/678243.html"   Extracted="3540626883"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540634592"   Paper_ID="/678243.html"   Extracted="3540634592"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354066677X"   Paper_ID="/678243.html"   Extracted="354066677X"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/678243.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/582289.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   Definition   of   Kernel   Oz,">

            <identifier   Org="ISBN:026264035X"   Paper_ID="/582289.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/582289.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3211828869"   Paper_ID="/582289.html"   Extracted="3211828869"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/582289.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540433716"   Paper_ID="/582289.html"   Extracted="3540433716"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540591559"   Paper_ID="/582289.html"   Extracted="3540591559"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540601058"   Paper_ID="/582289.html"   Extracted="3540601058"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/582289.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/582289.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/582289.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540617086"   Paper_ID="/582289.html"   Extracted="3540617086"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540617949"   Paper_ID="/582289.html"   Extracted="3540617949"   DDC="658.5/3"   Normalized_DDC="65853"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540641629"   Paper_ID="/582289.html"   Extracted="3540641629"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540678808"   Paper_ID="/582289.html"   Extracted="3540678808"   />

            <identifier   Org="ISBN:3765719528"   Paper_ID="/582289.html"   Extracted="3765719528"   />

            <identifier   Org="ISBN:9683642381"   Paper_ID="/582289.html"   Extracted="9683642381"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Implementation   Issues   for   Functional   Logic   Programming">

            <identifier   Org="ISBN:0262620995"   Paper_ID="SELF"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>

www.000webhost.com