Guarded Horn Clauses - Wikipedia
Guarded Horn Clauses (GHC)ã¯ã€1984年末ã«è¨è¨ˆã•ã‚Œ1985å¹´ã«ç™ºè¡¨ã•ã‚ŒãŸä¸¦è¡Œè«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚ã‚‹[1]。第五世代コンピュータプãƒã‚¸ã‚§ã‚¯ãƒˆã§ä¸¦åˆ—マシンã®æ ¸è¨€èªžã®æ¤œè¨Žã‚’ã—ã¦ã„ãŸä¸Šç”°å’Œç´€ã«ã‚ˆã‚Šè¨è¨ˆã•ã‚ŒãŸã€‚æ ¸è¨€èªžã®å€™è£œã ã£ãŸConcurrent Prologを分æžã™ã‚‹éŽç¨‹ã§å•é¡Œç‚¹ã‚’見付ã‘ã€ãれを解決ã™ã‚‹ã•ã‚‰ã«å˜ç´”化ã—ãŸè¨€èªžã¨ã—ã¦è¨è¨ˆã—ãŸã€‚ GHCã®ãƒãƒªã‚¨ãƒ¼ã‚·ãƒ§ãƒ³ã§ã‚ã‚‹Flat GHCを基ã«ã€è¿‘å±± 隆ã«ã‚ˆã‚ŠKL1 (Kernel Language One) ãŒè¨è¨ˆã•ã‚Œã€ç¬¬äº”世代コンピュータプãƒã‚¸ã‚§ã‚¯ãƒˆã§ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã¨å¿œç”¨ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã¨ã®é–“を繋ãæ ¸è¨€èªžã¨ã—ã¦ã€ä¸¦åˆ—マシンã®ã‚ªãƒšãƒ¬ãƒ¼ãƒ†ã‚£ãƒ³ã‚°ã‚·ã‚¹ãƒ†ãƒ ã‚„KL1ã‚’å«ã‚€æ§˜ã€…ãªè¨€èªžå‡¦ç†ç³»ã€å„種応用プãƒã‚°ãƒ©ãƒ ã®ä½œæˆã«åˆ©ç”¨ã•ã‚ŒãŸ[2]。 Guarded Horn Clauses (GHC) ã¯ä¸¦è¡Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãŸã‚ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Differences between pattern matching and unification?
{{#tags}}- {{label}}
{{/tags}}