HiLog
ಹೈಲಾಗ್ ಎಂಬುದು ಉನ್ನತ-ಕ್ರಮಾಂಕದ ವಾಕ್ಯರಚನೆಯೊಂದಿಗೆ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ತರ್ಕವಾಗಿದೆ, ಇದು ಅನಿಯಂತ್ರಿತ ಪದಗಳನ್ನು ಪೂರ್ವಭಾವಿ ಮತ್ತು ಕಾರ್ಯ ಸ್ಥಾನಗಳಲ್ಲಿ ಕಾಣಿಸಿಕೊಳ್ಳಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಆದಾಗ್ಯೂ, ಹೈಲಾಗ್ನ ಮಾದರಿ ಸಿದ್ಧಾಂತವು ಮೊದಲ-ಕ್ರಮವಾಗಿದೆ. ವಾಕ್ಯರಚನೆಯಲ್ಲಿ ಹೈಲಾಗ್ ಮೊದಲ ಕ್ರಮಾಂಕದ ತರ್ಕವನ್ನು ಕಟ್ಟುನಿಟ್ಟಾಗಿ ವಿಸ್ತರಿಸುತ್ತದೆಯಾದರೂ, ಹೀಲಾಗ್ ಅನ್ನು ಈ ತರ್ಕದಲ್ಲಿ ಅಳವಡಿಸಬಹುದು. ಹಾಯ್ ಲಾಗ್ ಅನ್ನು ಮೊದಲ ಬಾರಿಗೆ 1989ರಲ್ಲಿ ವಿವರಿಸಲಾಯಿತು. ಇದನ್ನು ನಂತರ ಬಹು-ವಿಂಗಡಿತ ತರ್ಕದ ದಿಕ್ಕಿನಲ್ಲಿ ವಿಸ್ತರಿಸಲಾಯಿತು. ಎಕ್ಸ್ಎಸ್ಬಿ ವ್ಯವಸ್ಥೆಯು ಹೈಲಾಗ್ ವಾಕ್ಯರಚನೆಯನ್ನು ಪಾರ್ಸ್ ಮಾಡುತ್ತದೆ, ಆದರೆ ಹೈಲಾಗ್ ಅನ್ನು ಎಕ್ಸ್ಎಸ್ಬಿಗೆ ಸಂಯೋಜಿಸುವುದು ಭಾಗಶಃ ಮಾತ್ರ. ನಿರ್ದಿಷ್ಟವಾಗಿ ಹೇಳುವುದಾದರೆ, ಹೈಲಾಗ್ ಅನ್ನು ಎಕ್ಸ್ಎಸ್ಬಿ ಮಾಡ್ಯೂಲ್ ಸಿಸ್ಟಮ್ನೊಂದಿಗೆ ಸಂಯೋಜಿಸಲಾಗಿಲ್ಲ. ಫ್ಲೋರಾ-2 ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಹೈಲಾಗ್ನ ಸಂಪೂರ್ಣ ಅನುಷ್ಠಾನವು ಲಭ್ಯವಿದೆ. ಸಾಕಷ್ಟು ಸರಳವಾದ ರೂಪಾಂತರದ ಮೂಲಕ ಹೈಲಾಗ್ ಅನ್ನು ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕದಲ್ಲಿ ಅಳವಡಿಸಬಹುದು ಎಂದು ತೋರಿಸಲಾಗಿದೆ. ಉದಾಹರಣೆಗೆ, p (X) (Y, Z (V) (W)) ಅನ್ನು ಈ ಕೆಳಗಿನ ಮೊದಲ-ಕ್ರಮಾಂಕದ ಪದವಾಗಿ ಅಳವಡಿಸಲಾಗಿದೆಃ ಅನ್ವಯಿಸು (p (X), Y, ಅನ್ವಯಿಸು (ಅನ್ವಯಿಸು (Z, V), W). ರೂಲ್ ಇಂಟರ್ಚೇಂಜ್ ಫಾರ್ಮ್ಯಾಟ್ (ಆರ್ಐಎಫ್) ನ ತರ್ಕ-ಆಧಾರಿತ ಉಪಭಾಷೆಗಳ ಚೌಕಟ್ಟು (ಆರ್ಐಎಫ್-ಎಫ್ಎಲ್ಡಿ) ಹೆಚ್ಚಾಗಿ ಹೈಲಾಗ್ ಮತ್ತು ಎಫ್-ಲಾಜಿಕ್ಗೆ ಆಧಾರವಾಗಿರುವ ವಿಚಾರಗಳನ್ನು ಆಧರಿಸಿದೆ. ಕೆಳಗಿನ ಎಲ್ಲಾ ಉದಾಹರಣೆಗಳಲ್ಲಿ, ಹೆಚ್ಚಿನ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳಲ್ಲಿರುವಂತೆ, ದೊಡ್ಡಕ್ಷರದ ಚಿಹ್ನೆಗಳು ಅಸ್ಥಿರಗಳನ್ನು ಸೂಚಿಸುತ್ತವೆ ಮತ್ತು ಅಲ್ಪವಿರಾಮವು ತಾರ್ಕಿಕ ಸಂಯೋಜನೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಮೊದಲ ಮತ್ತು ಎರಡನೆಯ ಉದಾಹರಣೆಗಳು ಚರರಾಶಿಗಳು ಸಂಭಾವ್ಯ ಸ್ಥಾನಗಳಲ್ಲಿ ಕಾಣಿಸಿಕೊಳ್ಳಬಹುದು ಎಂಬುದನ್ನು ತೋರಿಸುತ್ತವೆ. ಮುನ್ಸೂಚನೆಗಳು ಸಂಕೀರ್ಣ ಪದಗಳಾಗಿರಬಹುದು, ಉದಾಹರಣೆಗೆ ಕೆಳಗಿನ ಮುಚ್ಚುವಿಕೆ (ಪಿ) ಅಥವಾ ನಕ್ಷೆ ಪಟ್ಟಿ (ಎಫ್). ಮೂರನೆಯ ಉದಾಹರಣೆಯು ಪರಮಾಣು ಸೂತ್ರಗಳ ಸ್ಥಳದಲ್ಲಿ ಅಸ್ಥಿರಗಳು ಕಾಣಿಸಿಕೊಳ್ಳಬಹುದು ಎಂದು ತೋರಿಸುತ್ತದೆ, ಆದರೆ ನಾಲ್ಕನೇ ಉದಾಹರಣೆಯು ಕಾರ್ಯ ಚಿಹ್ನೆಗಳ ಸ್ಥಳದಲ್ಲಿ ಅಸ್ಥಿರಗಳ ಬಳಕೆಯನ್ನು ವಿವರಿಸುತ್ತದೆ. ಮೊದಲ ಉದಾಹರಣೆಯು ಜೆನೆರಿಕ್ ಟ್ರಾನ್ಸಿಟಿವ್ ಕ್ಲೋಸರ್ ಆಪರೇಟರ್ ಅನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ, ಇದನ್ನು ಅನಿಯಂತ್ರಿತ ಬೈನರಿ ಪ್ರಿಡಿಕೇಟ್ಗೆ ಅನ್ವಯಿಸಬಹುದು. ಎರಡನೇ ಉದಾಹರಣೆಯೂ ಇದೇ ರೀತಿಯದ್ದಾಗಿದೆ. ಇದು ಎಲ್ಐಎಸ್ಪಿ-ರೀತಿಯ ಮ್ಯಾಪಿಂಗ್ ಆಪರೇಟರ್ ಅನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ, ಇದು ಅನಿಯಂತ್ರಿತ ಬೈನರಿ ಪ್ರಿಡಿಕೇಟ್ಗೆ ಅನ್ವಯಿಸುತ್ತದೆ. ಮೂರನೇ ಉದಾಹರಣೆಯು ಪ್ರೋಲಾಗ್ ಮೆಟಾ-ಪ್ರಿಡಿಕೇಟ್ ಕರೆ/1 ಅನ್ನು ಹೈಲಾಗ್ನಲ್ಲಿ ನೈಸರ್ಗಿಕ ರೀತಿಯಲ್ಲಿ ಮತ್ತು ಹೆಚ್ಚುವರಿ-ತಾರ್ಕಿಕ ವೈಶಿಷ್ಟ್ಯಗಳ ಬಳಕೆಯಿಲ್ಲದೆ ವ್ಯಕ್ತಪಡಿಸಬಹುದು ಎಂದು ತೋರಿಸುತ್ತದೆ. ಕೊನೆಯ ಉದಾಹರಣೆಯು ಮೊದಲ-ಕ್ರಮಾಂಕದ ಪದಗಳಾಗಿ ಪ್ರತಿನಿಧಿಸಲಾದ ಅನಿಯಂತ್ರಿತ ಬೈನರಿ ಮರಗಳನ್ನು ಹಾದುಹೋಗುವ ಭವಿಷ್ಯವಾಣಿಯನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ. ಮುಚ್ಚುವಿಕೆ (ಪಿ) (ಎಕ್ಸ್, ವೈ) <-ಪಿ (ಎಕ್ಸ್, ವೈ). ಮುಚ್ಚುವಿಕೆ (ಪಿ) (ಎಕ್ಸ್, ವೈ) <-ಪಿ (ಎಕ್ಸ್, ಝಡ್), ಮುಚ್ಚುವಿಕೆ (ಪಿ) (ಝಡ್, ವೈ). ನಕ್ಷೆ ಪಟ್ಟಿ (ಎಫ್) ([], []). ನಕ್ಷೆ ಪಟ್ಟಿ (ಎಫ್) ([X|R], [Y|Z]) <-ಎಫ್ (ಎಕ್ಸ್, ವೈ), ನಕ್ಷೆ ಪಟ್ಟಿ (ಎಫ್) (ಆರ್, ಝಡ್). ಕಾಲ್ (X) <-X. ಟ್ರಾವರ್ಸ್ (X (L, R)) <-ಟ್ರಾವರ್ಸ್ (L), ಟ್ರಾವರ್ಸ್ (R). ಹೆಚ್ಚಿನ ಓದುವಿಕೆ ತಾರ್ಕಿಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಘೋಷಣಾತ್ಮಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಜ್ಞಾನ ಪ್ರಾತಿನಿಧ್ಯ