{"id":"W2154836512","doi":"10.1109/ccece.1996.548099","title":"LAM: another Prolog abstract machine","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Lakehead University","funders":"","keywords":"Prolog; Computer science; Programming language; Pointer (user interface); Heap (data structure); Unification; Copying; Data structure; Abstract machine; Executable; Logic programming; Theoretical computer science; Parallel computing; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001456608,0.00008445178,0.0000918329,0.00003356809,0.00005394737,0.0001096114,0.000442362,0.00004969507,0.0007749638],"category_scores_gemma":[0.000007667196,0.00005701053,0.0000406876,0.0001134161,0.0000195927,0.0001808785,0.00006612624,0.00006944453,0.001580884],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008996453,"about_ca_system_score_gemma":0.000004431258,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009756767,"about_ca_topic_score_gemma":0.00003226064,"domain_scores_codex":[0.9992937,0.00001539607,0.0001247227,0.000220837,0.0001351292,0.0002101727],"domain_scores_gemma":[0.9995287,0.00001621731,0.0000421625,0.0003496795,0.0000218101,0.00004144186],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001827312,0.0002328671,0.005142752,0.00002065758,0.0000266989,0.00005903623,0.0007634831,0.000005374408,0.000329832,0.6198331,0.02487135,0.348713],"study_design_scores_gemma":[0.0005475798,0.0002087221,0.004089174,0.00000170615,0.000004099528,0.00007749332,0.00001148641,0.03793892,0.001146227,0.01279731,0.9428018,0.0003755061],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001058553,0.0005490741,0.2811774,0.001594885,0.0005001826,0.0002475668,2.828075e-7,0.0006299197,0.7142422],"genre_scores_gemma":[0.9627609,0.000005794691,0.003137058,0.0005950426,0.00007436387,0.000009392079,3.574137e-7,0.000005556701,0.03341149],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9617024,"threshold_uncertainty_score":0.9991965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03202269030280179,"score_gpt":0.2367133903479985,"score_spread":0.2046907000451967,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}