{"id":"W2095878203","doi":"10.1109/ccece.1998.682748","title":"Compiling Prolog to Logic Virtual Machine","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Lakehead University","funders":"","keywords":"Computer science; Compiler; Programming language; Bytecode; Prolog; Garbage collection; Garbage; Parallel computing; Virtual machine; Logic programming","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002231005,0.0003029913,0.0002624094,0.0004724359,0.0003172628,0.0006254009,0.0003047507,0.0001596413,0.002626475],"category_scores_gemma":[0.001560807,0.0003084304,0.0003698431,0.0003372705,0.0003181448,0.0004861648,0.0005933713,0.0004468867,0.001089791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004282379,"about_ca_system_score_gemma":0.0008444304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001405997,"about_ca_topic_score_gemma":0.001349857,"domain_scores_codex":[0.999761,0.00005452188,0.00002017819,0.00005284028,0.00006518367,0.00004621496],"domain_scores_gemma":[0.9996855,0.0001300231,0.00002815188,0.00007944028,0.00006435713,0.00001256505],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005116334,0.0002112828,0.005806345,0.00106761,0.00008867679,0.0009750155,0.000667637,0.264288,0.07516029,0.1079305,0.02599847,0.5172946],"study_design_scores_gemma":[0.0001226257,0.0002385101,0.002249538,0.0001352517,0.00007893453,0.0004483907,0.0002009541,0.7440127,0.100167,0.07420514,0.07809563,0.00004534731],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1038853,0.0002537659,0.8503639,0.000235186,0.0001146575,0.0002373776,0.0008893561,0.02884707,0.01517339],"genre_scores_gemma":[0.3832307,0.0004290025,0.605537,0.0001998576,0.00005716914,0.0001744652,0.002198128,0.002689638,0.005484005],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002626475,"threshold_uncertainty_score":0.00878644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04001492992623407,"score_gpt":0.250903513720118,"score_spread":0.210888583793884,"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."}}