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
<?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>